

public class UpdateProject extends BaseBoundary {

	private ProjectVis currentPRJ;

	/**
	 * 
	 * @param pr
	 * @return 
	 */
	public void mkOpenProject(ProjectVis pr) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param pr
	 * @return 
	 */
	public void setProject(ProjectVis pr) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public void closeProject() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public void openInputCD() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public void openSOINV() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public void openEVCR() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public void openST() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public void generateSM() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @return 
	 */
	public void done() {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param row
	 * @param cond
	 * @param act
	 * @return 
	 */
	public void examine(Row row, Expr cond, Action act) {
		throw new UnsupportedOperationException();
	}

	/**
	 * 
	 * @param sat
	 * @param target
	 * @return 
	 */
	public void answer(boolean sat, Row target) {
		throw new UnsupportedOperationException();
	}

}